A instrução LEAVE pára a iteração atual da instrução que contém a instrução WHILE, REPEAT, LOOP ou BEGIN, identificada pelo Label.
A avaliação da sua condição de loop pela instrução contida (se houver) é ignorada e o loop cessa.
DECLARE i INTEGER;
SET i = 1;
X : REPEAT
...
IF i >= 4 THEN
LEAVE X;
END IF;
SET i = i + 1;
UNTIL
FALSE
END REPEAT;
DECLARE i INTEGER;
SET i = 0;
X : REPEAT -- Loop externo
...
DECLARE j INTEGER;
SET j = 0;
REPEAT -- Loop interno
...
IF i >= 2 AND j = 1 THEN
LEAVE X; -- Loop externo deixado de dentro do loop interno
END IF;
...
SET j = j + 1;
UNTIL
j >= 3
END REPEAT;
SET i = i + 1;
UNTIL
i >= 3
END REPEAT X;
-- A execução retoma aqui após a partida