Definitions of extra time:

• noun:   playing time beyond regulation, to break a tie