That depends entirely upon who is going to read the document. Effective documents provide readers with all needed information without the extraneous and nonessential details.
Good writing is as short as it can be without eliminating essential ideas and facts.
Some repetition is helpful, especially in longer documents where readers need to be reminded of important facts or concepts. But too much repetition is annoying and makes the document wordy. Don't repeat unimportant ideas. Don't repeat ideas in short documents. Don't repeat visually represented information in text form.