Tragic irony is a special category of dramatic irony. In tragic irony, the words and actions of the characters contradict the real situation, which the spectators fully realize. The Oxford English Dictionary has:
the incongruity created when the (tragic) significance of a character's speech or actions is revealed to the audience but unknown to the character concerned, the literary device so used, orig. in Greek tragedy.