Recursive invocation of completion menu on incomplete terms