Definition:Propositional Tableau Extension

Definition
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).