Ties in a KO match

We have just had our first drawn match. Neither team knew what to do!
They should have looked in competitions on the webste.
Unfortunately when I did that there was a blank page and so far I haven’t been ablto upload the rule so far.
What teams should do is play another 4 boards (tossing a coin for choosing opponents)to get a winner if still getting a tie keep playing 4 boards ntil you get a winner.

Roy