Noun: extra time
- Additional time added to the normal length of a game, often in order to break a tied score
"The football match went into extra time after ending in a draw";
- overtime
Derived forms: extra times
Type of: period, period of time, time period, time span
Antonym: regulation time
Part of: athletic game
Encyclopedia: Extra time