Leave it in the TSP and let it grow. If you do not need access yet, it is wise to leave it. Similar to other retirement accounts, you must start minimum retirement at age 72.