Depends on what you do. Often managers don't even know so they just use "citizen" as rule to be safe.

Also worked for the military and we had a variety of citizens, non-citizens, green card holders and non-green card holders. We had to go through silly gymnastics on who can talk about what and work on what depending on their status.