Definition:Finished Propositional Tableau

Definition
Let $T$ be a propositional tableau.

Then $T$ is finished iff every branch of $T$ is either: or:
 * finished
 * finite and contradictory.

Also see

 * Tableau Confutation is Finished

A confutation is always a finished tableau because every branch is finite and contradictory.


 * Finite Finished Tableau is Finished or Confutation

A finite finished tableau either has at least one finished branch or is a confutation.