\begin{definition}[Definition:Extension of Propositional Tableau/Definition 1]
Let $T$ be a propositional tableau.
A tableau $T'$ is an '''extension of $T$''' if $T'$ can be obtained from $T$ by repeatedly adding nodes to the leaf nodes of $T$ (by means of the tableau extension rules).
\end{definition}