Definition:Tableau Proof (Formal Systems)/Technical Note

Technical Note on Tableau Proof (Formal Systems)
When constructing a tableau proof, use the BeginTableau template to start it:

where:
 * is the statement of logic that is to be proved, without the  delimiters
 * is a link (optional) to page containing the specific proof system in which this proof is valid.

Then, lines can be added to the proof by using the TableauLine template, or specific variants of it as listed on Category:Tableau Proof Templates.

At the end of the proof, use the EndTableau template: