Template:EndTableau

Include this template to create the end of the table that is to be a tableau proof.

This template is to be invoked as:

This template will close the tableau proof, then enter the proof into the  category. |}