i am not sure yet, but i don't think this affected the terminal. remember that the airport grounds at DEN are enormous -- IIRC they cover something like 35,000 acres which is more than double the size of Manhattan. so, a tornado "at the airport" might mean a lot of things.
nonetheless, i hope my sources are right and that it was far from the terminal and everyone there is safe.