Definition:Propositional Tableau

Definition
A propositional tableau with root node $\mathbf H$ is either: whose hypothesis set is $\mathbf H$.
 * A finite propositional tableau, or
 * An infinite propositional tableau

Finite Root
If the hypothesis set $\mathbf H$ at the root is finite, then the propositional tableau has a finite root.

Infinite Root
If the hypothesis set $\mathbf H$ at the root is infinite, then the propositional tableau has an infinite root.