Hail Damage, are they totaled?

My gf’s family just had major hail damage to their cars due to a nearby tornado. I was curious which of the cars are totaled and approximately how much you guys would think it would cost to repair them? My gf’s car, Chevy Trailblazer, is a lease. I was curious if they were to total it, what would she receive? The other two cars, I would assume are totaled due to age and probably mileage, I assume they have >90k miles on each. As for her car, it has only 20k miles on it. All three cars have extensive dents on the left side due to the hail. My gf’s was the only one without any broken windows.