Definition:Propositional Tableau Extension

Let $$T$$ be a finite propositional tableau.

Then a tableau $$T'$$ is an extension of $$T$$ if $$T'$$ can be obtained from $$T$$ by repeatedly adding nodes to the ends of branches (by means of the tableau extension rules).