additional time played at the end of a sports match to decide a winner in the event of a tie; extra time; play-off