Leftmost derivation is a method used in formal grammar to generate a string by expanding the leftmost non-terminal at each step. It is crucial in parsing, particularly in top-down parsing techniques, as it helps in determining the structure of a given input string according to a grammar's rules.