Definition:Extension of Propositional Tableau

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

Equivalence of Definitions
That these definitions are equivalent is shown on Equivalence of Definitions of Extension of Propositional Tableau.

Also see

 * Definition:Extension of Rooted Tree