If you don't need the terminal leave to reach 20 years, can you go back and have them cash it out and release you immediately? IIRC when I got out I had the option of taking terminal leave or cashing it out. Most folks take the leave to keep the benefits flowing, but in your case...