Definition:Root of Propositional Tableau

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

Then $\mathbf H$ is called the root of $T$.

Also see

 * Definition:Propositional Tableau