The leave will be formalised, but it won't become completely effective till they will agree on the new trade rules; until then it will act economically as if it were part of EU.