"Active military duty" means federally funded military duty as (i) a member of the armed forces of the United States on active duty pursuant to Title 10 U.S.C. or (ii) a member of the Virginia National Guard on active duty pursuant to either Title 10 or Title 32 U.S.C.
"State employee" means any person who is regularly employed full time on either a salaried or wage basis, whose tenure is not restricted as to temporary or provisional appointment, in the service of, and whose compensation is payable, no more often than biweekly, in whole or in part, by the Commonwealth or any department, institution or agency thereof.
Va. Code § 2.2-2903.1