Full Idea
In their original setting, all the tableau rules are elimination rules, allowing us to replace a longer formula by its shorter components.
Gist of Idea
Tableau rules are all elimination rules, gradually shortening formulae
Source
David Bostock (Intermediate Logic [1997], 7.3)
Book Reference
Bostock,David: 'Intermediate Logic' [OUP 1997], p.285