from typing import List
import csv
from io import StringIO


def split_token(token: str) -> List[str]:
    """
    Splits tokens separated by ";".

    If the resulting values have semicolons, the values must be quoted.

    >>> split_token('"foo";"bar;far"')
    ['foo', 'bar;far']
    """
    stream = csv.reader(StringIO(token), delimiter=";")

    return next(stream)