Logical Tableaux in LaTeX

My current logic class uses Jeffrey's Formal Logic, and therefore I've acquired the need to typset logical tableaux. Since I have forsworn Microsoft Word and now do all my writing in LaTeX, I poked around for a way to get LaTeX to create trees. Peter Smith's LaTeX for Logicians webpage was very helpful; it has a page devoted to tableaux. Apparently, there's more than one way to do it: using pstricks and qtree. I decided to go with qtree. The existing tutorials didn't seem very clear, so I put together a basic guide to formatting logical tableaux in LaTeX using qtree.