What was the name of the super tornado in Dallas?

Tornadoes do not have names. There don't appear to be any "super tornadoes" that have hit Dallas either. The city has had a few F3 tornadoes and one F4 passed to the city's southwest.

There was a documentary about a so-called "super tornado" hitting Dallas, but that was a purely hypothetical situation and one that is unlikely to happen.

If such an event were to occur, in all likelihood it would simply be called the Dallas tornado of whatever year it occurs in.