Terminating each branch of a proof with $\square$ My question is a variation on this one. I have a proof which divides at the top level into a number of mutually exclusive cases, with further partitioning within that.
Is it reasonable to place a $\square$ at the end of each case which terminates a branch of the proof? In other words, is it permissible (stylistically) to insert $\square$ at any lexical point where all the pending proof obligations have been discharged, or is it wiser to insist that the reader "pop the stack" to the top level, and have a single terminating $\square$?
These two possibilities are illustrated below.

There are three possibilities:
  
  
*
  
*[Proof case 1] $\square$
  
*[Proof case 2] $\square$
  
*[Proof case 3] $\square$
  

vs. the following:

There are three possibilities:
  
  
*
  
*[Proof case 1]
  
*[Proof case 2]
  
*[Proof case 3]
  
  
  $\square$

The advantage of the former is that it makes it clear that there is no pending context left to consume (no enclosing case has a "tail"), but I'm not experienced enough to know whether it's reasonable.
 A: The latter case, where one tombstone symbol is used for the end of the proof is the right way. The first one is confusing because you think the proof has terminated at inopportune points. 
A: Only use $\square$ when what you set out to prove has been shown. Therefore, it should be placed at the end only. 
You could summarize by saying something akin to 

This concludes the third and final possibility, which therefore concludes the proof.  $\;\;\;\;\;\square$

A: If you need to prove some substantial results and then combine them to prove your main theorem, it is best to organize the narrative so that the sub-results stand alone as lemmas prior to the statement and proof of the theorem. Thus: Lemma 1 . Proof of Lemma 1 $\square$ . . . Lemma 5 . Proof of Lemma 5 $\square$ . Theorem 1 . Proof of Theorem 1 (citing Lemmas 1 to 5) $\square$. The end of every proof should be marked by the square symbol, which should not be used otherwise.
A: In my books I use the following signs  for the begin and end of a proof:
$$\bigr|^{\!\!-\!-}\qquad {\mathstrut}_{-\!-}\!\!|$$
(of course with more beautiful typography, that I cannot produce here).
Since these right angles act like parentheses they can be nested, so that a subproof has its own such enclosure.
