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.

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