Definition:Tableau Proof (Formal Systems)/Length

Definition
The length of a tableau proof is the number of lines it has.