Fun question! I don't know the answer other than to say it's not just the algebraics because of the Gelfond-Schneider constant
Are you sure this is well-defined? You say that a and b are algebraic but "closure" implies that they could also be any members of S. This might mess up your proof that it's not all the reals if you do mean the closure.
Nice work!