Definition:Extension of Propositional Tableau

Definition
Let $\left({T, \mathbf H, \Phi}\right)$ be a propositional tableau.

An extension of $T$ is a propositional tableau $\left({S, \mathbf H', \Phi'}\right)$ such that:


 * $S$ is an extension of $T$;
 * $\mathbf H \subseteq \mathbf H'$;
 * $\Phi'$ is an extension of $\Phi$.

Also see

 * Definition:Extension of Rooted Tree